mcnf model with glpk solver Search Results